101. Fundamentals of digital logic with Verilog design
پدیدآورنده : Brown, Stephen D.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic circuits - Design and construction - Data processing,، Verilog )Computer hardware description language(,، Computer-aided design
رده :
TK
7868
.
L6B76
2003
102. Fundamentals of digital logic with Verilog design
پدیدآورنده : Brown, Stephen D.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic circuits - Design and construction - Data processing,، Verilog )Computer hardware description language(,، Computer-aided design
رده :
TK
7868
.
L6B76
103. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown and Zvonko Vranesic
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Logic circuits- Design and construction- Data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK7868
.
B6F8
2003
104. Fundamentals of digital logic with Verilog design
پدیدآورنده : / Stephen Brown and Zvonko Vranesic
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic circuits, Design and construction, Data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK7868
.
L6
,
B76
2003
105. Handbook of logic and language
پدیدآورنده : ]edited by[ Johan van Benthem, Alice ter Meulen
کتابخانه: (طهران)
موضوع : Handbooks, manuals, etc ، Natural language processing )Computer science(,Handbooks, manuals, etc ، Logic, Symbolic and mathematical,Handbooks, manuals, etc ، Semantics
رده :
QA
76
.
9
.
N38H25
2011
106. How reference works :
پدیدآورنده : Lawrence D. Roberts
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and logic,Linguistic models,Reference (Linguistics)
رده :
P325
.
5
.
R44
R63
1993
107. Implicature :
پدیدآورنده : Wayne A. Davis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grice, H. P., (H. Paul),Grice, H. P., (Herbert Paul),1913-,Grice, H. P., (H. Paul),Grice, H. P., (H. Paul),Grice, H.P. ,1913-1988.,Implication (Logic),Language and languages-- Philosophy.,Speech acts (Linguistics),17.61 pragmatics.,Implication (Logic),Implication (Logic),Implicatuur.,Language and languages-- Philosophy.,Language and languages-- Philosophy.,Speech acts (Linguistics),Speech acts (Linguistics)
رده :
P85
.
G735
D38
1998
108. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
پدیدآورنده : \ [Edited by] Manuel Rebuschi...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Language and logic,شناخت (فلسفه),زبان و منطق,a04,a05,a04,a05,Reasoning.,استدلال
رده :
BC
177
.
I5
2014
E-Book
,
109. Intermediate quantities :
پدیدآورنده : Philip L. Peterson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grammar, Comparative and general-- Quantifiers.,Language and logic.,Semantics (Philosophy),Grammar, Comparative and general-- Quantifiers.,Language and logic.,LANGUAGE ARTS & DISCIPLINES / Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES / Linguistics / Syntax.,Semantics (Philosophy)
رده :
P299
.
Q3
P48
2018
110. Introduction to formal philosophy
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
کتابخانه: (طهران)
موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
111. La argumentación en la lengua /
پدیدآورنده : Jean-Claude Anscombre, Oswald Ducrot ; versión española de Julia Sevilla y Marta Tordesillas ; introducción de Marta Tordesillas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and logic.,Persuasion (Rhetoric),Semantics.,Language and logic.,Persuasion (Rhetoric),Semantics.
رده :
P301
.
6
.
P47
A578
1994
112. La logique et le quotidien :une analyse dialogique des mecanismes de l'argumentation
پدیدآورنده : Gilbert Dispaux
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Dialogue.,Language and logic.
113. Language, Thought and Reference
پدیدآورنده : / George Powell
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,Reference (Linguistics),Semantics,Pragmatics,Semantics (Philosophy),زبان و منطق,معنیشناسی,کاربردشناسی,معنیشناسی (فلسفه)
رده :
P39
.
L367
2010
114. Language and logic
پدیدآورنده : Johan Van der Auwera.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and languages-- Philosophy.,Language and logic.
رده :
P39
.
A88
1985eb
115. Language and logic
پدیدآورنده : Johan Van der Auwera.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and languages-- Philosophy.,Language and logic.
رده :
P39
.
A88
1985eb
116. Language and logic : a speculative and condition-theoretic study
پدیدآورنده : Johan Van der Auwera
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (طهران)
موضوع : Language and logic
رده :
P
39
.
A88
1985
117. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: (طهران)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
118. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
119. Language, logic, and causation: Philosophical writings of Douglas Gasking
پدیدآورنده : Gasking, D. A. T. )Douglas Aidan Trist(, 1191-4991
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Language and logic,، Logic,، Causation
رده :
B
5704
.
G371O3
120. Language, logic, and epistemology :
پدیدآورنده : Christopher Norris.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Knowledge, Theory of.,Language and languages-- Philosophy.,Logic.,Philosophy, Modern-- 20th century.,Postmodernism.,Poststructuralism.,Deconstructie.,Erkenntnistheorie,Kennistheorie.,Knowledge, Theory of.,Knowledge, Theory of.,Language and languages-- Philosophy.,Language and languages-- Philosophy.,Logic.,Logic.,Logica.,Philosophy, Modern-- 20th century.,Philosophy, Modern.,Postmodernism.,Postmodernism.,Poststructuralism.,Poststructuralism.,Realisme (filosofie),Semantiek.,Sprachlogik,Sprachphilosophie
رده :
B804
.
N67
2004